A Divine Consistency Proof for Mathematics
نویسنده
چکیده
We present familiar principles involving objects and classes (of objects), pairing (on objects), choice (selecting elements from classes), positive classes (elements of an ultrafilter), and definable classes (definable using the preceding notions). We also postulate the existence of a divine object in the formalized sense that it lies in every definable positive class. ZFC (even extended with certain hypotheses just shy of the existence of a measurable cardinal) is interpretable in the resulting system. This establishes the consistency of mathematics relative to the consistency of these systems. Measurable cardinals are used to interpret and prove the consistency of the system. Positive classes and various kinds of divine objects have played significant roles in theology. 1. T1: Objects, classes, pairing. 2. T2: Extensionality, choice operator. 3. T3: Positive classes. 4. T4: Definable classes. 5. T5: Divine objects. 6. Interpreting ZFC in T5. 7. Interpreting a strong extension of ZFC in T5. 8. Without Extensionality.
منابع مشابه
Divine Hikmah in Repeating the Allegory of Earthly World in the Quran
Allegory is a method used in the Quran to lead human to the right way. Therefore, wherever Divine hikmah has demanded, with mentioning an allegory the path for understanding the problem has been facilitated and the proof has been completed to the addressees. The holy Quran has used the allegory of rain water for the mundane world and has repeated it in the verses like 24 of Yunus, 45 of Kahf an...
متن کاملIn Answer to a Quasi-Ontological Argument: On Sheridan's "Toward an Eclectic Ontology of Presence" and Mantovani and Riva's "Building a Bridge between Different Scientific Communities"
Sheridan, in his “Toward an Eclectic Ontology of Presence” (Sheridan, 1999), approaches the semblance of an ontological argument with discussion of “divine presence” in relation to virtual reality communications media and the consequent effect of virtuality upon the mind/matter ensemble. Although he doesn’t offer proof for God, Sheridan (and subsequently Mantovani and Riva, who accept Sheridan’...
متن کاملThe Constructive Hilbert Program and the Limits of Martin-Löf Type Theory
Hilbert’s program is one of the truly magnificent projects in the philosophy of mathematics. To carry out this program he founded a new discipline of mathematics, called “Beweistheorie”, which was to perform the task of laying to rest all worries about the foundations of mathematics once and for all1 by securing mathematics via an absolute proof of consistency. The failure of Hilbert’s finitist...
متن کاملThe art of ordinal analysis
Ordinal analysis of theories is a core area of proof theory whose origins can be traced back to Hilbert’s programme – the aim of which was to lay to rest all worries about the foundations of mathematics once and for all by securing mathematics via an absolute proof of consistency. Ordinal-theoretic proof theory came into existence in 1936, springing forth from Gentzen’s head in the course of hi...
متن کاملGroups with one conjugacy class of non-normal subgroups - a short proof
For a finite group $G$ let $nu(G)$ denote the number of conjugacy classes of non-normal subgroups of $G$. We give a short proof of a theorem of Brandl, which classifies finite groups with $nu(G)=1$.
متن کامل